Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride

RÉSUMÉ. Les documents XML et les données semi-structurées peuvent être représentées par des graphes étiquetés. Dans cet article, nous établissons un lien direct entre ces graphes de données et les modèles d’un langage de la logique multi-modale hybride. Ce lien est ensuite exploré dans deux directions. Tout d’abord, nous nous intéressons à l’expression de contraintes d’intégrité sur des données semi-structurées en revisitant certaines classes de contraintes étudiées dans la littérature. Puis nous abordons le problème de la définition d’un schéma pour les données semi-structurées. Notre approche conduit à définir un schéma sous forme d’une formule de la logique hybride, formule devant être satisfaite par les instances (graphes de données) du schéma. La contribution de cet article se situe à deux niveaux : 1) la modélisation des données semi-structurées, des contraintes, et la définition de schéma dans un formalisme unique : la logique multi-modale hybride ; 2) la généralisation de la notion de schéma, puisque nous considérons des schémas permettant de manipuler des références “bien typées”.